Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000054 | Romain Demangeon [France] ; Kohei Honda ; Raymond Hu ; Rumyana Neykova ; Nobuko Yoshida | Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python |
000267 | Romain Demangeon [France] ; Raymond Hu ; Rumyana Neykova ; Nobuko Yoshida | Practical interruptible conversations: Distributed Dynamic Verification with Session Types and Python |
This area was generated with Dilib version V0.6.25. |